Nuprl Definition : axiom def
12,41
postcript
pdf
Ax is Primitive
latex
Definitions
Ax
origin